<?xml version='1.0'?>

<gl_extension name="GL_EXT_texture_env_dot3" reg_no="220">
	<tokens>
		<token name="GL_DOT3_RGB_EXT" value="0x8740"/>
		<token name="GL_DOT3_RGBA_EXT" value="0x8741"/>
	</tokens>
</gl_extension>
